منابع مشابه
Boolean Differential Equations
The expressiveness of Boolean Algebras is significantly extended by the Boolean Differential Calculus (BDC). The additionally defined differentials of Boolean variables, differentials and further differential operators of Boolean functions as well as several derivative operations of Boolean functions allow to model changes of function values together with changes of the values of variables and ...
متن کاملBoolean reasoning - the logic of boolean equations
Interestingly, boolean reasoning the logic of boolean equations that you really wait for now is coming. It's significant to wait for the representative and beneficial books to read. Every book that is provided in better way and utterance will be expected by many peoples. Even you are a good reader or not, feeling to read this book will always appear when you find it. But, when you feel hard to ...
متن کاملSequential Boolean Equations
The problem of solving sequential Boolean equations is shown to be equivalent to the problem of finding whether there exists a path on a labeled graph for every sequence of labels. Algorithms are given for testing whether a solution exists, and if a solution with a finite delay exists. In case of existence of solutions the algorithms provide them.
متن کاملRandom fractional functional differential equations
In this paper, we prove the existence and uniqueness results to the random fractional functional differential equations under assumptions more general than the Lipschitz type condition. Moreover, the distance between exact solution and appropriate solution, and the existence extremal solution of the problem is also considered.
متن کاملBoolean Differential Calculus
After a brief outline of classical concepts relative to Boolean differential calculus, a theoretical study of various differential operators is undertaken. Application of these concepts to several important problems arising in switching practice is mentioned. General notations The following notations are used in this paper: Boolean disjunction + or ~ Boolean conjunction no symbol or IT Boolean ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Mathematics
سال: 1995
ISSN: 0012-365X
DOI: 10.1016/0012-365x(94)00065-8